Background of the KJ Method